Interpolation and Definability: Modal and Intuitionistic Logic: 46 (Oxford Logic Guides)
by Dov M. Gabbay,Larisa Maksimova
ISBN 13: 9780198511748
Format: Hardcover (524 pages) Publisher: OUP Oxford Published: 12 May 2005
Save for later